/*
 * MemoryManager.h
 *
 *  Created on: Mar 24, 2012
 *      Author: user
 */

#ifndef MEMORYMANAGER_H_
#define MEMORYMANAGER_H_

#include <vector>

void installMemoryWatcher();
void removeMemoryWatcher();
void protectAll();
void unprotectAll();
void listDirtyPages();
const std::vector<void*>& getDirtyPages();
unsigned int getPageSize();

#endif /* MEMORYMANAGER_H_ */
